Practical proofs of knowledge without relying on theoretical proofs of membership on languages
نویسندگان
چکیده
منابع مشابه
On Proofs Without Words
Most mathematicians will be familiar with the above picture. This diagram, credited to the Ancient Chinese mathematical text Zhou Bi Suan Jing, is a charmingly simple visual proof of the Pythagorean Theorem, one of mathematics’ most fundamental results. It would be hard to argue that this proof is not convincing. In fact, most standard proofs of the Pythagorean Theorem still use this picture, o...
متن کاملOn Defining Proofs of Knowledge
The notion of a "proof of knowledge" , introduced by Goldwasser, Micali and Rackoff, has been used in several works as a tool for the construction of cryptographic protocols and other schemes. Yet, the formalizations of this notion appearing in the literature are unsatisfactory and in particular inadequate for some of the applications in which they are used. The purpose of this note is to point...
متن کاملMore on Proofs of Knowledge
The notion of proofs of knowledge is central to cryptographic protocols, and many deenitions for it have been proposed. In this work we explore a diierent facet of this notion, not addressed by prior deenitions. Speciically, prior deenitions concentrate on capturing the properties of the veriier, and do not pay much attention to the properties of the prover. Our new deenition is strictly strong...
متن کاملsurvey on the rule of the due & hindering relying on the sheikh ansaris ideas
قاعده مقتضی و مانع در متون فقهی کم و بیش مستند احکام قرار گرفته و مورد مناقشه فقهاء و اصولیین می باشد و مشهور معتقند مقتضی و مانع، قاعده نیست بلکه یکی از مسائل ذیل استصحاب است لذا نگارنده بر آن شد تا پیرامون این قاعده پژوهش جامعی انجام دهد. به عقیده ما مقتضی دارای حیثیت مستقلی است و هر گاه می گوییم مقتضی احراز شد یعنی با ماهیت مستقل خودش محرز گشته و قطعا اقتضاء خود را خواهد داشت مانند نکاح که ...
15 صفحه اولthe washback effect of discretepoint vs. integrative tests on the retention of content in knowledge tests
در این پایان نامه تاثیر دو نوع تست جزیی نگر و کلی نگر بر به یادسپاری محتوا ارزیابی شده که نتایج نشان دهندهکارایی تستهای کلی نگر بیشتر از سایر آزمونها است
15 صفحه اولذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Theoretical Computer Science
سال: 1997
ISSN: 0304-3975
DOI: 10.1016/s0304-3975(96)00277-0